It should be tied to JIRA's concept of an "Active" flag.
Currently, disabled/deactivated AD users are synced to JIRA like other active AD users. They are still considered as an active users in JIRA and hence will be counted towards the license. However, the authentication against AD would of course fails. It'd be nice if JIRA can flag these users as "Disabled" users.