PTO for Holidays?

My bf works at a hospital and they had a day off as it was a recognized holiday. However they used his PTO for that day, is this normal? I am asking because we were going to use his PTO for a vacation but saw it was used up.