The genome of Methanococcus maripaludis harbors genes for at least six selenocysteine-containing proteins and also for homologs that contain a cysteine codon in the position of the UGA selenocysteine codon. To investigate the synthesis and function of both the Se and the S forms, a mutant with an inactivated selB gene was constructed and analyzed. The mutant was unable to synthesize any of the selenoproteins, thus proving that the gene product is the archaeal translation factor (aSelB) specialized for selenocysteine insertion. The wild-type form of M. maripaludis repressed the synthesis of the S forms of selenoproteins, i.e., the selenium-independent alternative system, in selenium-enriched medium, but the mutant did not. We concluded that free selenium is not involved in regulation but rather a successional compound such as selenocysteyl-tRNA or some selenoprotein. Apart from the S forms, several enzymes from the general methanogenic route were affected by selenium supplementation of the wild type or by the selB mutation. Although the growth of M. maripaludis on H₂/CO₂ is only marginally affected by the selB lesion, the gene is indispensable for growth on formate because M. maripaludis possesses only a selenocysteine-containing formate dehydrogenase.