The following is a brief description of what happens when static IP addressing occurs on the tunnel service of the appliance.
Secure NAT pools work in a similar way, except that no "available" queue is maintained; instead there is a "next-address" counter shared among all Secure NAT pools. Disconnected addresses are still reserved (same GUID only) for two minutes, and then are once again available. Realistically, they'll be reassigned, because there are several million NAT addresses to loop through before this particular address is once more the "next-address."
DHCP pools bypass all of the address reservation routines and allow the DHCP server to handle it instead.
[1] Address conflict resolution routines within the server typically will avoid an address assignment that will disrupt the user's connection.