You should consider adding this feature for resigned staff. Instead of seeing their full annual leave entitlement. The system should generate their earned leave after their cessation date has been input by the administrator. So that it won't confuse the resigned staff.
For eg, we have a resigned staff and his cessation date is on 27 June 2021, I told him he has 7 days AL to clear but he sees 14 days (which is his full entitlement) in the system. Then he went ahead to apply 8 days instead of 7. This resulted in 1 day No Pay Leave for his final pay calculation. If the system would have calculated the earned leave for resigned staff properly, I think such circumstances can be avoided.
Hope you will consider this point.