I think it makes more logical sense to logout and then after logout, delete the ticket which has been used to perform the logout.
So far, it works like that.
That said, I'm not deeply tied to this solution and would switch if you really think it's necessary...