Como destruir uma sessão PHP e todos os dados associados a ela

<?
  // inicia a sessão
  session_start();
  // gravamos uma informação
  $_SESSION["nome"] = "Osmar J. Silva";
  // exibimos o valor
  echo "O nome é: " . $_SESSION["nome"];
  
  // primeiro destruímos os dados associados à sessão
  $_SESSION = array();

  // destruímos então o cookie relacionado a esta sessão
  if(isset($_COOKIE[session_name()])){
    setcookie(session_name(), '', time() - 1000, '/');
  }
  
  // finalmente destruimos a sessão
  session_destroy();
  
  // vamos verificar se a sessão foi realmente destruída
  echo "<br><br>O nome é: " . $_SESSION["nome"];
?>