Hola Paula:
Sí, esa cancelación es correcta.
Lo que sucede ahí es que γ es una derivación para γ ⊢ γ. En ese árbol, la fórmula γ es a la vez hipótesis y conclusión.
Esa situación aparece muchas veces.
Por ejemplo si querés probar ⊢ φ → φ se hace con la siguiente derivación
[φ]⁽¹⁾
————————— I→ ⁽¹⁾
φ → φ