A day off from work that employees are paid for, typically in observance of national or religious holidays.
