"Tropical marine fish" would apply to them as well as "Coral fish" I guess but it would not be as definitive. There are literally thousands of "coral fish species"
Green Torch Coral or Trumpet Coral
Coral
There is no particular species with the name. Some use it as part of their description, such as the "pennant coralfish" (Heniochus acuminatus).Named for their habitat, or for their ability to blend in with coral, the term "coral fish" is applied to several species such as the triggerfish, angelfish, damselfish, tang, and goby.
Her name is Coral and she is a clown fish.
Hard Coral is not a fish but, some small fish live in hard coral.
A large coral colony is called coral reef or coral island . There are many types of coral reefs .
Coe
Coral Cod is another name of the Miniatus Grouper, a type of seabass.
Some fish eat of the coral reefs, but they do not live on or in the coral reefs. But every fish living on or in the coral reef has a job to do that protects it from the intrudors.
parrot fish eat coral
Finfish is another name for fish.
Most fish do not eat live coral as it is hard and not very nutritious. However, some fish, such as the butterflyfish and parrotfish, may nip at coral polyps or feed on coral mucus. These interactions typically do not harm the coral if kept in balance with the ecosystem.