Horizontal-Branch Evolution with Semiconvection II. Theoretical Sequences