I prefer to leave them whole, but you could mash them or mash some of them if you prefer that texture. Keep in mind that mashed beans will absorb more of the sauce than just leaving them in tact.