Enterohemorrhagic Escherichia coli (EHEC) colonize intestinal epithelium by generating characteristic attaching and effacing (AE) lesions. They are lysogenized by prophage that encode Shiga toxin 2 (Stx2), which is responsible for severe clinical manifestations. As a lysogen, prophage genes leading to lytic growth and stx2 expression are repressed, whereas induction of the bacterial SOS response in response to DNA damage leads to lytic phage growth and Stx2 production both in vitro and in germ-free or streptomycin-treated mice. Some commensal bacteria diminish prophage induction and concomitant Stx2 production in vitro, whereas it has been proposed that phage-susceptible commensals may amplify Stx2 production by facilitating successive cycles of infection in vivo. We tested the role of phage induction in both Stx production and lethal disease in microbiome-replete mice, using our mouse model encompassing the murine pathogen Citrobacter rodentium lysogenized with the Stx2-encoding phage Φstx2dact. This strain generates EHEC-like AE lesions on the murine intestine and causes lethal Stx-mediated disease. We found that lethal mouse infection did not require that Φstx2dact infect or lysogenize commensal bacteria. In addition, we detected circularized phage genomes, potentially in the early stage of replication, in feces of infected mice, confirming that prophage induction occurs during infection of microbiota-replete mice. Further, C. rodentium (Φstx2dact) mutants that do not respond to DNA damage or express stx produced neither high levels of Stx2 in vitro or lethal infection in vivo, confirming that SOS induction and concomitant expression of phage-encoded stx genes are required for disease. In contrast, C. rodentium (Φstx2dact) mutants incapable of prophage genome excision or of packaging phage genomes retained the ability to produce Stx in vitro, as well as to cause lethal disease in mice. Thus, in a microbiome-replete EHEC infection model, lytic induction of Stx-encoding prophage is essential for lethal disease, but actual phage production is not.