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