Ergo: se un utente esce la sessione dovrebbe comunque cancellarsi.
La mia domanda non era se la sessione si cancella o no. Io lo so che si cancella. La mia domanda è come fare per capire se una sessione è ancora in piedi per un determinato utente (come da esempio che avevo fatto se esiste un $_SESSION[session_id] = 3)