Hi Lilian,
Employers may pay sick leave in advance of the employee accruing it, but are not required to do so. So yes I would say you are well within your rights to require the employee to either take unpaid leave or annual leave if they need to have a sick day. Since you have already advanced them 9 days sick leave, though, you would need to get their permission to apply their annual leave to bring their balance to 0.