In PHP la chiusura di una sessione utente è una procedura semplice.
La soluzione è la seguente:
session_start();
if(isset($_SESSION['user_id'])) {
session_destroy();
$_SESSION = array();
header('Location: ' . 'https://' . $_SERVER['HTTP_HOST'] . '/');
exit();
} else {
session_destroy();
exit();
}