If the Florida Fish and Wildlife identifies the cat as a Black Leopard you can be sure it was indeed a Black Leopard and not a Florida Panther. They pretty much know the difference.
Its simply a different name for the same species. We only have one species of big cat in North America (aside from a few Jaguars that have actually been spotted entering southern Arizona).
Real Leopards only exist in Africa.