How to make sure the cookie is destroyed?

We have some users who do not log out th EP7.0 session by clicking the "log off" link.

Instead, they kill the window by clicking the X on the upper-right corner of the window.

We are afraid the cookie will be picked up and used by the next user on the terminal.

How to prevent that ?

Thanks!