Mopping up
Military slang for clearing out pockets of enemy resistance, usually after the main attack has gone through, dates from the First World War.