We do that with a Class, which is implementing HttpSessionListener and config that in web.xml as <listener>. The method sessionDestroyed(HttpSessionEvent anEvent) will be called by the servlet container (Tomcat), when session gets destroyed. This is not a special JSF way. It is plain Servlet mechanism.
Kind regards Holger
