In this paper, a general branch-and-cut procedure for stochastic integer programs with complete recourse and first stage binary variables is presented. It is shown to provide a finite exact algorithm for a number of stochastic integer programs, even in the presence of binary variables or continuous random variables in the second stage.