We introduce reactive Kripke models for intuitionistic logic and show
that the reactive semantics is stronger than the ordinary
semantics. We develop Beth tableaux for the reactive semantics.