Asking in the forum because it seems a few people go semi-regularly and SeaWorld has one of the worst websites I've ever had to deal with:
1) Are the leopard sharks still there? There was a disagreement in the sharks holders thread. I've found some evidence on their site that they are but I trust SeaWorld websites not at all.
2) What carpet sharks are there currently? I can't find any recent data. Wikipedia and the website suggest the two most common bamboo shark species and nothing else, but neither are terribly reliable sources.
SeaWorld no longer has the Leopard Sharks unfortunately neither off nor on display. Here is a list of all the shark species San Diego has including the carpet species asked for:
Sand Tiger Shark (Carcharias taurus)
Blacktip Reef Shark (Carcharhinus melanopterus)
Whitetip Reef Shark (Triaenodon obesus)
Lemon Shark (Negaprion brevirostris)
Zebra Shark (Stegostoma tigrinum)
Nurse Shark (Ginglymostoma cirratum)
Bonnethead Shark (Sphyrna tiburo)
Whitespotted Bamboo Shark (Chiloscyllium plagiosum)
Brownbanded Bamboo Shark (Chiloscyllium punctatum)
Speckled Carpetshark (Hemiscyllium trispeculare)
Epaulette Shark (Hemiscyllium ocellatum)
As others have mentioned SeaWorld San Diego does refer to their Zebras as Australian Leopard Sharks for an unknown reason.