What happens if a domain doesn't get renewed?

Does the current owner get immediately dropped and the domain released to back to the pool of available domains for purchase?