Fish Fins

i was looking into my fishtank when i noticed that one of my fish is missing his tail fin.. seems my other fish may have eating his tail fin.. does anyone know if the fin will grow back.. or is the poor fish doomed??