This document defines and analyzes the concept of "gamification". It begins by tracing the origins and definitions of gamification in industry, noting debates around its meaning. It then discusses relevant precursors from fields like human-computer interaction and game studies, such as serious games, pervasive games, and playful design. Finally, it proposes a definition of gamification as "the use of game design elements in non-game contexts" and argues it should be considered as distinct from but complementary to concepts of playfulness.