I have had it both ways in Peru, and have done it both ways at home. It's really a matter of personal preference. Unless you can find very small diced beef, you'll spend a good amount of time chopping it small enough. On one occasion, I found lean chili beef that was perfect. Ground beef is the quickest option, and usually my pick.