Generally speaking, all employees are entitled to 5.6 weks paid leave which includes bank holidays, but this can get slightly more complicated for those who only work during term time.
There may be clauses in individual contracts that stipulate whether that annual leave has to be taken when the school is closed for the holidays, and this should be laid out to the employee before they start. As ever, it’s best to seek professional HR advice if you’re unsure.