1a public holiday that does not fall on the same numeric date each year, such as the US Thanksgiving, which always falls on the fourth Thursday of November.
2a paid day off from work, given as a substitution for a public holiday and typically taken on a day chosen by the employee.