Pedido de demissão aviso trabalhado

Boa tarde por gentileza temos um funcionário que pediu demissão dia 14/04/2015 e o aviso prévio acaba hj (trabalhado), aqui em nossa cidade temos um feriado amanhã dia 15/05, neste caso teríamos que pagar até o domingo ou até hj acrescido do sábado que já foi compensado ou somente até o dia de hj que é o término do aviso.

Tassiane, boa tarde.
Para segurança e melhor pagar hoje, isso porque o aviso foi trabalhado, alguns entende que a empresa sabia do feriado.