 Semantic forcing relation

For a countable transitive model $M$, semantic forcing declares $p⊩\phi$ when every generic filter $G$ over $M$ containing $p$ gives $M[G]\models \phi$.