I either cut the lettuce leaving a stump which will produce some small leaves and little shoots which you can also harvest, or I pull out the entire plant. It depends if you are going to be short of lettuce in a few weeks time, by then the stump will have a little crop of leaves to fill the gap.